((v3 v2 4) (v2 v1 1) (v6 v7 4) (v5 v1 8) (v6 v1 5) (v3 v6 2) (v7 v5 0) (v1 v4 1) (v2 v7 3) (v2 v5 1) (v4 v7 1) (v4 v2 2))
68
((v4 v3))